Implementation and Analysis of Secure Electronic Voting System
نویسندگان
چکیده
-In this technological and knowledge age, e-commerce related matters become popular. Electronic voting is one of these matters and it is able to provide convenient, less expensive, fast and secure facilities. Important basic properties of electronic voting are fairness, privacy, eligibility, receiptfreeness, coercion-resistance and verifiability. Current electronic voting systems satisfy only some of these properties. So, the proposed system aims to design and implement an electronic voting system which satisfies the required properties of electronic voting process. After implementing the system, it will be verified using mCRL2 language in order to prove the satisfaction of the security properties. The performance of the proposed system will be compared with the other existing e-voting systems.
منابع مشابه
Civitas: A Secure Voting System
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and implementation of Civitas. Assurance is established in the design through security proofs, and in the implementation through information-flow security analysis. Experimental results give a quantitative evaluation of the t...
متن کاملCivitas: A Secure Remote Voting System
Civitas is the first implementation of a coercion-resistant, universally verifiable, remote voting scheme. This paper describes the design of Civitas, details the cryptographic protocols used in its construction, and illustrates how language-enforced information-flow security policies yield assurance in the implementation. The performance of Civitas scales well in the number of voters and offer...
متن کاملRequirements, design and implementation of an e-voting system
The rapid advancement in database, web and wireless technologies have given rise to new applications that were impossible just few years ago. One of these applications is e-Voting. The term “e-Voting” is defined as the process of casting votes in an election using electronic means. This paper details the requirements, design and implementation of a generic and secure electronic voting system wh...
متن کاملSecure national electronic voting system: Pilot implementation
Electronic voting provides accuracy and efficiency to the electoral processes. World democracies would benefit from a secure e-voting system not only to improve voter participation and trust but also to prevent electoral fraud. However, current e-voting systems are complex and have security weaknesses. In this paper, we describe a secure e-voting system for national and local elections. This sy...
متن کاملMobile Based E-democracy: the Ibb/pma E-voting System
In the field of electronic democracy, significant part of the research activity focuses on the ability to conduct secure and trustworthy electronic election procedures. This paper presents the extension prototype of an electronic voting system, called IBB/PMA Electronic Voting System that enables cellular phones and mobile devices to act as voting casting devices. The system takes into consider...
متن کامل